#!/bin/bash


echo "Stopping all"

kill -9 `pgrep autonomic_clien`
kill -9 `pgrep videoserver`
kill -9 `pgrep auto_referee`
kill -9 `pgrep gazebo`
sleep 15
